مشخصات کتاب

Logic Programming: The Joint [9th] International Conference & Symposium

ویرایش:  
نویسندگان: Krzysztof Apt (ed.)  
سری:  
ISBN (شابک) : 0262510642, 7219756917 
ناشر: The MIT Press 
سال نشر: 1992 
تعداد صفحات: 872 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت 

در صورت تبدیل فایل کتاب Logic Programming: The Joint [9th] International Conference & Symposium به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه نویسی منطقی: همایش و هم اندیشی مشترک [9] بین المللی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب برنامه نویسی منطقی: همایش و هم اندیشی مشترک [9] بین المللی

کنفرانس بین‌المللی مشترک برنامه‌نویسی منطقی که توسط انجمن برنامه‌نویسی منطقی حمایت می‌شود، یک انجمن بزرگ برای ارائه تحقیقات، کاربردها و پیاده‌سازی‌ها در این حوزه مهم از علوم کامپیوتر است. برنامه نویسی منطقی یکی از امیدوارکننده ترین گام ها به سمت برنامه نویسی اعلانی است و پایه نظری زبان برنامه نویسی Prolog و پسوندهای مختلف آن را تشکیل می دهد. برنامه نویسی منطقی برای کار در هوش مصنوعی نیز اساسی است، جایی که برای استدلال غیر یکنواخت و عقل سلیم، پیاده سازی سیستم های خبره، پایگاه های داده قیاسی، و کاربردهایی مانند ساخت به کمک کامپیوتر استفاده شده است.

Krzysztof R. Apt رهبر پروژه در مرکز ریاضیات و علوم کامپیوتر در آمستردام و استاد پاره وقت در علوم کامپیوتر در دانشگاه آمستردام است.

موضوعات تحت پوشش: مبانی نظریه. زبانهای برنامه نویسی. پیاده سازی. روش ها و ابزارهای برنامه نویسی برنامه های کاربردی. پایگاه های داده قیاسی هوش مصنوعی. موازی سازی

توضیحاتی درمورد کتاب به خارجی

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing.

Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam.

Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Saggio sulla completezza degli ordinamenti giuridici

دانلود کتاب Eigenspannungen und Verzug durch Warmeeinwirkung: Forschungsbericht

دانلود کتاب Agroforestry for Biodiversity and Ecosystem Svcs - Sci. and Pract.

دانلود کتاب Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings

دانلود کتاب The Biology of African Savannahs